How We Repaired Our Starlink Cable